Add a Taquin renamed desktop id.

Taquin is org.gnome.Taquin.

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 51787270d67255502826236aae64d141b5145499..a80504c313528d3b3cbe0efd0fc5cff47db093c9 100644 (file)
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -44,6 +44,7 @@ const RENAMED_DESKTOP_IDS = {
     'iagno.desktop': 'org.gnome.Reversi.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop',
+    'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop',
     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',
     'totem.desktop': 'org.gnome.Totem.desktop',